Default Reasoning with Contexts
نویسندگان
چکیده
We describe a system that combines default reasoning with contexts. Contexts are arranged in a hierarchy where more specific contexts represent revisions of the state of belief in more general contexts. We describe our algorithm for default reasoning in a context hierarchy and provide a translation of our representation into a default logic theory whose inferences agree with our algorithm. We conclude with a discussion of different notions of context and give a justification of our default rules when contexts are understood as states of belief.
منابع مشابه
Context-dependent reasoning with lexical knowledge using default logic
Lexical knowledge is increasingly important in language engineering. However, it is a dii-cult kind of knowledge to represent and reason with. Existing approaches to formalizing lexical knowledge have used languages with limited expressibility and in particular they have not addressed the context-dependent nature of lexical knowledge. Here we present a framework, based on default logic, called ...
متن کاملDistributed Reasoning with Conflicts in a Multi-Context Framework
A Multi-Context System consists of a set of contexts and a set of inference rules (known as mapping or bridge rules) that enable information flow between different contexts. A context can be thought as a logical theory a set of axioms and inference rules that models local context knowledge. Different contexts are expected to use different languages and inference systems, and although each conte...
متن کاملDistributed Defeasible Reasoning in Multi-Context Systems
Multi-Context Systems (MCS) are logical formalizations of distributed context theories connected through a set of mapping rules, which enable information flow between different contexts. Reasoning in MCS introduces many challenges that arise from the heterogeneity of contexts with respect to the language and inference system that they use, and from the potential conflicts that may arise from th...
متن کاملAutomated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which provides a sound and complete implementation of the binary demo predicate. Based on it, a general methodology for automated reasoning is proposed and it turns out that a wide range of reasoning tasks, normally requiring di...
متن کاملAlternative Strategies for Conflict Resolution in Multi-Context Systems
Multi-Context Systems are logical formalizations of distributed context theories connected through mapping rules, which enable information flow between different contexts. Reasoning in Multi-Context Systems introduces many challenges that arise from the heterogeneity of contexts with regard to the language and inference system that they use, and from the potential conflicts that may arise from ...
متن کامل